Your search returned 2 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Ieee Transactions On Software Engineering
Year : 1998Volume number : 24Issue:03
Design Of Flexible Static Program Analyzers With Pql(Article) Subject:
Program Analysis For Understanding
,
Program Plan And Goals
,
Reverse Engineering
Author:
Stan
Jarzabek
page:
197
-
215
Extending Statecharts With Temporal Logic(Article) Subject:
Concurrency
,
Fnlog
,
Formal Specification
Author:
Arcot
Sowmya
S
Ramesh
page:
216
-
231